Nuprl Definition : ecl-halt-type
0,22
postcript
pdf
ecl-halt-type(
da
;
x
) == Case ecl-halt-kind(
x
) of inl(
k
)
Valtype(
da
;
k
) ; inr(
z
)
Top
latex
Definitions
Case
b
of inl(
x
)
s
(
x
) ; inr(
y
)
t
(
y
)
,
ecl-halt-kind(
x
)
,
Valtype(
da
;
k
)
,
Top
FDL editor aliases
ecl-halt-type
origin
Valtype(da;k) ; inr(z) Top Valtype(da;k) ; inr(z) Top s(x) ; inr(y) t(y)